Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
461	Lawvere-Tierney Sheafification in Homotopy Type Theory Lawvere-Tierney Sheafification Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-07-02 06:06:44
462	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg Morrisett Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2006-11-13 17:44:08
463	A Cubical Type Theory Simon Huber (j.w.w. Cyril Cohen, Thierry Coquand, Anders M¨ortberg) University of Gothenburg HoTT/UF 2015 Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-07-02 06:10:09
464	Chapter 9 In Tobias, S. and Duffy, T. M. (Eds.) Constructivist Theory Applied to Instruction: Success or Failure? New York: Routledge, Taylor and Francis. 158 – 183. 9 How Much and What Type of Guidance is Optimal for Add to Reading List Source URL: www.cogtech.usc.edu Language: English - Date: 2008-12-30 20:39:21
465	Helium, for Learning Haskell Bastiaan Heeren Daan Leijen Arjan van IJzendoorn Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-02-20 14:04:58 Software engineering Computer programming Programming language theory Functional languages Type theory Data types Functional programming Literate programming Haskell Type class Type inference OCaml
466	Paul Oppenheimer and Edward N. Zalta Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2011-02-19 16:18:52 Logic Mathematical logic Mathematics Model theory Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus
467	Supplementary material — Na2Si3 O7: An incommensurate structure with crenel-type modulation functions, refined from a twinned crystal H. Kr¨ Add to Reading List Source URL: pc12-c714.uibk.ac.at Language: English - Date: 2006-05-17 06:22:28 Geometry Convex geometry Graph theory Deltahedra Self-dual polyhedra Tetrahedron Mineral Logarithm
468	Optimizing Closures in O(0) time Andrew W. Keep Alex Hearn R. Kent Dybvig Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-08 07:07:18 Software engineering Computing Computer programming Subroutines Lambda calculus Data types Type theory Functional programming Closure Scope Free variables and bound variables Lambda lifting
469	A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-12 17:56:59 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Models of computation Logic in computer science Substitution Structure Model theory Parity of a permutation

UPDATE